p, q:. ((p q)) = ((p)  (q))   

latex

Up	bool 1, bool 1
Definitions	t  T
Lemmas	bool wf, btrue wf, bfalse wf